Discrete Abstraction of Stochastic Nonlinear Systems
نویسندگان
چکیده
منابع مشابه
Discrete Abstraction of Stochastic Nonlinear Systems
This paper addresses the discrete abstraction problem for stochastic nonlinear systems with continuous-valued state. The proposed solution is based on a function, called the bisimulation function, which provides a sufficient condition for the existence of a discrete abstraction for a given continuous system. We first introduce the bisimulation function and show how the function solves the probl...
متن کاملDiscrete Abstraction of Multiaffine Systems
Many biological systems can be modeled as multiaffine hybrid systems. Due to the nonlinearity of multiaffine systems, it is difficult to verify their properties of interest directly. A common strategy to tackle this problem is to construct and analyze a discrete overapproximation of the original system. However, the conservativeness of a discrete abstraction significantly determines the level o...
متن کاملFuzzy identiication of discrete time nonlinear stochastic systems
System identification is the task of developing or improving a mathematical description of dynamic systems from experimental data (Ljung (1999); Söderström & Stoica (1989)). Depending on the level of a priori insight about the system, this task can be approached in three different ways: white box modeling, black box modeling and gray box modeling. These models can be used for simulation, predic...
متن کاملCompositional Abstraction for Stochastic Systems
We propose to exploit three-valued abstraction to stochastic systems in a compositional way. This combines the strengths of an aggressive state-based abstraction technique with compositional modeling. Applying this principle to interactive Markov chains yields abstract models that combine interval Markov chains and modal transition systems in a natural and orthogonal way. We prove the correctne...
متن کاملCurrent Output Observer for Discrete-Time Nonlinear Stochastic Systems
A Current Output Observer is presented and its estimation error performance is compared to that of the Extended Kalman Filter. It is shown that performance improvement can be obtained by this new scheme with minor increase in computational load. In order to obtain stronger results, scalar nonlinear stochastic systems are focused on. These systems are categorized based on the derivatives of thei...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
سال: 2014
ISSN: 0916-8508,1745-1337
DOI: 10.1587/transfun.e97.a.452